Mathematical constructivism - PDFSEARCH.IO - Document Search Engine

Mathematical constructivism
Results: 119

#	Item
31	Curriculum Vitæ Rodolphe LEPIGRE Date of birth: Nationality: French Add to Reading List Source URL: lepigre.fr Language: English - Date: 2014-08-13 14:15:26 Mathematical constructivism Realizability
32	PDF Document Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-08-27 06:04:04 Proof theory Mathematical constructivism Predicate logic Boolean algebra Propositional calculus First-order logic Intuitionistic logic Well-formed formula Sequent Logic Mathematical logic Mathematics
33	Adults Learning Mathematics An International Journal Chief Editor Javier Díez-Palomar Volume 6(1) Add to Reading List Source URL: www.alm-online.net Language: English - Date: 2013-04-06 21:52:10 Education reform Constructivism Learning theory Mathematical anxiety Basic skills Learning styles Mathematics Education Educational psychology Mathematics education
34	Journal of Experimental & Theoretical Artificial Intelligence, Vol. 17, No. 3, September 2005, 305–315 Book review Where mathematics comes from: how the embodied mind brings mathematics into Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2006-05-25 12:22:34 Mathematical logic Elementary mathematics Epistemology Where Mathematics Comes From Foundations of mathematics Number 0.999... Constructivism Real number Mathematics Philosophy of mathematics Cognitive science
35	Producing Accounts: Finitism, Technology and Rule-Following Donald MacKenzie November 2006 Add to Reading List Source URL: www.sps.ed.ac.uk Language: English - Date: 2010-06-20 07:35:36 Leasing Financial regulation Business law Mathematical constructivism Finitism Infinity International Financial Reporting Standards Operating lease Chess Finance Business Games
36	Lecture 3: A Case for the Rational Revisability of Logic. Earlier discussions on rational revisability of logic: Putnam: to understand QM, accept counterinstances to distributive law. In 2-slit experiment, accept that th Add to Reading List Source URL: www.philosophy.ox.ac.uk Language: English - Date: 2008-05-15 07:08:18 Non-classical logic Philosophical logic Philosophy of mathematics Epistemology Mathematical constructivism Quantum logic Intuitionism Law of excluded middle Truth Logic Philosophy Science
37	Computational effects in computable and formalized mathematics (EFFMATH) Project summary Andrej Bauer Faculty of Mathematics and Physics University of Ljubljana Add to Reading List Source URL: math.andrej.com Language: English - Date: 2014-11-22 07:09:08 Computing Mathematical constructivism Realizability Functional programming Computer science Monad Algorithm Ludics Software engineering Mathematical logic Mathematics
38	Double Negation Translations as Morphisms Olivier Hermant CRI, MINES ParisTech December 12, 2014 Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-12-23 09:42:55 Proof theory Logic in computer science Propositional calculus Mathematical constructivism Intuitionistic logic Non-classical logic Sequent calculus Negation Natural deduction Mathematical logic Logic Mathematics
39	Double Negation Translations as Morphisms Olivier Hermant CRI, MINES ParisTech December 1, 2014 Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-12-23 09:45:32 Proof theory Logic in computer science Propositional calculus Mathematical constructivism Intuitionistic logic Non-classical logic Sequent calculus Negation Natural deduction Mathematical logic Logic Mathematics
40	0 The Finitist Accountant David Hatherly, David Leung and Add to Reading List Source URL: www.sps.ed.ac.uk Language: English - Date: 2010-06-20 07:35:35 Historiography of science Social constructionism Mathematical constructivism Finitism Accountancy Strong programme Creative accounting Sociology of knowledge Social construction of technology Science Sociology of scientific knowledge Science and technology studies

UPDATE